Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

A supertask consists in the performance of an infinite number of actions in a finite time. I show that any attempt to carry out a supertask will produce a divergence of the curvature of spacetime, resulting in the formation of a black hole. I maintain that supertaks, contrarily to a popular view among philosophers, are physically impossible. Supertasks, literally, collapse under their own weight.

I argue that there are no physical singularities in space–time. Singular space–time models do not belong to the ontology of the world, because of a simple reason: they are concepts, defective solutions of Einstein’s field equations. I discuss the actual implication of the so-called singularity theorems. In remarking the confusion and fog that emerge from the reification of singularities I hope to contribute to a better understanding of the possibilities and limits of the theory of general relativity.

The ontology behind quantum mechanics has been the subject of endless debate since the theory was formulated some 100 years ago. It has been suggested, at one time or another, that the objects described by the theory may be individual particles, waves, fields, ensembles of particles, observers, and minds, among many other possibilities. I maintain that these disagreements are due in part to a lack of precision in the use of the theory’s various semantic designators. In particular, there is some (...) confusion about the role of representation, reference, and denotation in the theory. In this article, I first analyze the role of the semantic apparatus in physical theories in general and then discuss the corresponding ontological implications for quantum mechanics. Subsequently, I consider the extension of the theory to quantum fields and then analyze the semantic changes of the designators with their ontological consequences. In addition to the classical arguments to rule out a particle ontology in the case of non-relativistic quantum field theory, I show how the existence of black holes makes the proposal of a particle ontology in general spacetimes unfeasible. I conclude by proposing a provisional pluralistic ontology of fields and spacetime and discussing some prospects for possible future ontological economies. (shrink)

Conceptual engineering is commonly characterized as the method for assessing and improving our representational devices. Little has been said, however, on how best to construe these representational devices—in other words, on what conceptual engineering should be all about. This paper tackles this problem with a basic strategy: First, by presenting a taxonomy of the different possible subject matters for conceptual engineering; then, by comparatively assessing them and selecting the most conducive one with a view to making conceptual engineering an actionable (...) method, that is, a method that can be applied effectively and consistently to specific case studies. The outcome is that conceptual engineering should be all about concepts on pain of pragmatic inconsistencies otherwise. (shrink)

I discuss the ontological assumptions and implications of General Relativity. I maintain that General Relativity is a theory about gravitational fields, not about space-time. The latter is a more basic ontological category, that emerges from physical relations among all existents. I also argue that there are no physical singularities in space-time. Singular space-time models do not belong to the ontology of the world: they are not things but concepts, i.e. defective solutions of Einstein’s field equations. I briefly discuss the actual (...) implication of the so-called singularity theorems in General Relativity and some problems related to ontological assumptions of Quantum Gravity. (shrink)

Black holes are extremely relativistic objects. Physical processes around them occur in a regime where the gravitational field is extremely intense. Under such conditions, our representations of space, time, gravity, and thermodynamics are pushed to their limits. In such a situation philosophical issues naturally arise. In this chapter I review some philosophical questions related to black holes. In particular, the relevance of black holes for the metaphysical dispute between presentists and eternalists, the origin of the second law of thermadynamics and (...) its relation to black holes, the problem of information, black holes and hypercomputing, the nature of determinsim, and the breakdown of predictability in black hole space-times. I maintain that black hole physics can be used to illuminate some important problems in the border between science and philosophy, either epistemology and ontology. (shrink)

It is a remarkable fact that all processes occurring in the observable universe are irre- versible, whereas the equations through which the fundamental laws of physics are formu- lated are invariant under time reversal. The emergence of irreversibility from the funda- mental laws has been a topic of consideration by physicists, astronomers and philosophers since Boltzmann's formulation of his famous \H" theorem. In this paper we shall discuss some aspects of this problem and its connection with the dynamics of space-time, (...) within the framework of modern cosmology. We conclude that the existence of cosmological horizons allows a coupling of the global state of the universe with the local events deter- mined through electromagnetic processes. (shrink)

Scientific philosophy is that which is informed by science. It uses exact tools such as logic and mathematics and provides a framework for scientific activity to solve more general questions about nature, the language we use to describe it, and the knowledge we obtain thanks to it. Many of the scientific philosophy theories can be proven and evaluated using scientific evidence. In this paper, I focus on showing how several classical philosophy topics, such as the nature of space and time (...) or the dimensionality of the future, can be addressed philosophically using the tools from current astrophysics research and, in particular, from the study of black holes and gravitational waves. (shrink)

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an argument or (...) subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

El problema antropológico ya está presente en Histoire de la folie, porque en la locura se objetiva una verdad antropológica, y por medio de la psicología el hombre fija una relación con su verdad científica a partir del loco. El hombre encuentra el primer acceso a su ser verdadero desde una experiencia de locura como objetivación espontánea de un enunciado antropológico. Por otro lado, los análisis de Foucault sobre la literatura le permiten transitar el problema antropológico a partir de una (...) serie de imágenes que dan cuenta de una "experiencia de la finitud". (shrink)

This is the introductory essay to the Italian translation of Anthony de Jasay's "Choice, contract, and consent. A restatement of liberalism".

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we briefly (...) survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

I offer a theory of art that is based on science. I maintain that, as any other human activity, art can be studied with the tools of science. This does not mean that art is scientific, but aesthetics, the theory of art, can be formulated in accord with our scientific knowledge. I present elucidations of the concepts of aesthetic experience, art, work of art, artistic movement, and I discuss the ontological status of artworks from the point of view of scientific (...) philosophy. (shrink)

Closed time-like curves (CTCs) naturally appear in a variety of chronology-violating space{times. In these space{times, the principle of self-consistency demands a harmony between local and global a airs that excludes grandfather-like paradoxes. However, selfexisting objects trapped in CTCs are not seemingly avoided by the standard interpretation of this principle, usually constrained to a dynamical framework. In this letter we discuss whether we are committed to accept an ontology with self-existing objects if CTCs actually occur in the universe. In addition, the (...) epistemological status of the principle of self-consistency is analyzed and a discussion on the information flux through CTCs is presented. (shrink)

A survey of some game-theoretic accounts of the emergence and evolution of spontaneuous cooperation in social and public-good dilemmas.

I present a discussion of some open issues in the philosophy of space-time theories. Emphasis is put on the ontological nature of space and time, the relation between determinism and predictability, the origin of irreversible processes in an expanding Universe, and the compatibility of relativity and quantum mechanics. In particular, I argue for a Parmenidean view of time and change, I make clear the difference between ontological determinism and predictability, propose that the origin of the asymmetry observed in physical processes (...) is related to the existence of cosmological horizons, and present a non-local concept of causality that can accommodate both special relativity and quantum entanglement. (shrink)

This is the introductory essay to the Italian translation of Matt Ridley's "The origins of virtue", surveying the game-theoretic and evolutionary approaches to the emergence and evolution of cooperation and altruism.

This article aims to indicate another possible comprehension of war and its relations in the Yugoslavian region. Focused on the construction of national identity, this paper uses the post-structuralist theoretical argumentative movement to invert the common logic of interpretation – to which Foucault and Deleuze are used as reference. Knowing this, the problem is how war, interpreted in another way, can build not only national integration, but also a subjective identity through Football.

The paper focuses on Anthony de Jasay's "anarcho-liberalism" as based oon his game-theoretic approach to the problem of public goods provision.

Focusing on the work of Friedrich von Hayek and Vernon Smith, we discuss some conceptual links between Austrian economics and recent work in behavioral game theory and experimental economics. After a brief survey of the main methodological aspects of Austrian and experimental economics, we suggest that common views on subjectivism, individualism, and the role of qualitative explanations and predictions in social science may favour a fruitful interaction between these two research programs.

The idea of a moving present or ‘now’ seems to form part of our most basic beliefs about reality. Such a present, however, is not reflected in any of our theories of the physical world. I show in this article that presentism, the doctrine that only what is present exists, is in conflict with modern relativistic cosmology and recent advances in neurosciences. I argue for a tenseless view of time, where what we call ‘the present’ is just an emergent secondary (...) quality arising from the interaction of perceiving self-conscious individuals with their environment. I maintain that there is no flow of time, but just an ordered system of events. (shrink)

In Metaphysics A.4, Aristotle provides crucial information about fundamental aspects of the chemistry and microphysics of the atomic theory of Leucippus and Democritus of Abdera. Besides the plenum and the void, which he identifies as the elements of the atomic theory, he presents what he himself names as differences. These fundamental differences are named so because they ought to be responsible for the emergence of all other differences in the physical world, and especially the ones that hit our senses. Aristotle (...) provides a list of three differences both in what is recognized as autochthonous terminology from Leucippus and Democritus, and in a translation to terms apparently more intelligible to Aristotelian listeners. Among those differences there is one in particular that is harder to comprehend than the other ones: rhysmos. Aristotle’s translation of rhysmos into schēma has led most interpreters to acknowledge that it referred solely to atoms individually, while the other two differences would refer to relations between atoms. In this paper, I want to propose an interpretation in which rhysmos actually refers to several aspects of the chemistry and microphysics of the atomic theory. (shrink)

This work aims to present an overview of the top-level ontology BFO - Basic Formal Ontology - and its applicability for Satellite Systems. As an upper level ontology, the BFO was designed to be extended, providing the basis for the specification of detailed representational artifacts about scientific information domains. These aspects and the challenges of satellite systems complexity and large size compose a suitable scenario for the creation of a specialized dialect to improve efficiency and accuracy when modeling such systems. (...) By analyzing BFO based ontologies in other disciplines and existing satellite models it is possible to describe an application for satellite systems, which can provide a foundation for the creation of a concrete ontology to be applied on satellite modeling. (shrink)

Este trabajo se propone pensar las relaciones entre el ejercicio del gobierno y los regímenes de veridicción, teniendo como eje las problematizaciones planteadas por Michel Foucault en el curso titulado Du gouvernement des vivants.

I present a condensed exposé of systemic materialism, a synthesis of materialism and systemism originally proposed by Mario Bunge. Matter is identified with mutability of propertied particulars, and a concrete or material system is defined as an object with composition, structure, mechanism, and environment. I review different aspects of this ontology, and discuss some of its implications for epistemology, ethics, and aesthetics. I also try to identify some problems of this view and offer some ways to overcome the difficulties. I (...) conclude that systemic materialism is a promising philosophical project still in the making. (shrink)

Black holes are arguably the most extraordinary physical objects we know in the universe. Despite our thorough knowledge of black hole dynamics and our ability to solve Einstein’s equations in situations of ever increasing complexity, the deeper implications of the very existence of black holes for our understanding of space, time, causality, information, and many other things remain poorly understood. In this paper I survey some of these problems. If something is going to be clear from my presentation, I hope (...) it will be that around black holes science and metaphysics become more interwoven than anywhere else in the universe. (shrink)

This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of `proofs from premises" results in a loss of the inductive character of (...) the definitions of ∨ and ∃ and (5) the same occurs with the definition of ∀ in terms of `proofs with free variables". (shrink)

The present article is the third part of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In Part I (Picazo 2021), the discussion was set out by examining a number of typical traces of Platonism in semantic theory since Frege. In Part II (Picazo 2021a), additional illustrations of such traces were provided, taken from a collection of recent commissioned essays on the philosophy of language (Schantz 2012). The present part is devoted (...) to providing yet additional illustrations of such traces, taken from a collection of classic essays on the subject: the book Modern Philosophy of Language, edited by Maria Baghramian in 1998. We shall, thus, describe a number of examples in which the influence of semantic Platonism on these essays can be felt. Prominent among these examples are the confusion between sentences and propositions (and related confusions), the avoidant attitude with respect to basic aspects of linguistic meaning, the overuse of analytic methodology for semantic research, the adoption of a background Platonic metaphysics of meanings and the overreaction against semantic Platonism and germane views, witnessing an inverse influence (‘by opposition’) from these views. (shrink)

This brief review of Mario Bunge’s research on physics begins with an analysis of his masterpiece Foundations of Physics, and then it discusses his other contributions to the philosophy of physics. Following that is a summary of his more recent reactions to scientific discoveries in physics and a discussion of his position about non-locality in quantum mechanics, as well as his changing opinions on the nature of spacetime. The paper ends with a brief assessment of Bunge’s legacy concerning the foundations (...) of physics. (shrink)

El trabajo investiga los diversos tropos de Carta sobre el humanismo, no como simples expresiones metódicamente indiferentes, sino como formas de prosecución de las tendencias hermenéuticas de la filosofía heideggeriana. La casa, el pastor y el claro constituyen tropos que no solo intentan superar cualquier rastro de la lógica del sujeto _y por lo mismo superar también el humanismo y la metafísica_ sino, además, se conforman y funcionan como verdaderos "tropos hermenéuticos". The paper investigates the various figures of speech contained (...) in Letter on Humanism, not as mere expressions indifferent to method, but as ways to continue the hermeneutic trends of Heideggerian philosophy. The house, the shepherd, and the clearing are figures of speech intended not only to leave behind all traces of logic in the subject _and by the same token also rise above humanism and metaphysics_ but in addition to take shape and function as true "hermeneutic tropes". (shrink)

This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, inferences such as (...) ‘Dick and Tony emptied the bottle, hence Tony and Dick emptied the bottle’ are shown to be first-order. (shrink)